(->) a b